Asynchronous Real-time Systems
نویسندگان
چکیده
A goal of the Iligl)t Sys(cm ‘[ ’cs(bd (1 ’S’1 ’ ) is 10 gcmrdlim and opt im im system-level spacecraft in[crfaccs in suppor( of mpid prototypit~g a n d intcgta[ion testins [ l;S’l’, [’194]. Using software 10 simulate the spacccrdft and environment al arbitrary levels of abstraction is lhc Illcmc oftbis paper. A snapshot of a spacccmfi under clcvclopmmt includes a combination o f barciwarc caginecring 1I1O(ICIS, brcadboads, brass boards, and soflwarc simulations. ‘1’hc l;S”l’ clcvclopmenl env i ronment iaclLdcs Icchniqocs h tbc smodb rcplaccmcnt d s o f t w a r e simalalicms w i th hardware or flight software as it bccomcs avail ab]c. ‘Ill is facilitates cmnplcx Ilarcl}varc-it] -tllcImp sinlulalions. 1 n part ica]ar, an arch itcct Llre was clevclopcd to suppml rapid protolypiag of plaac(ary spacecraft systems. ‘1’his involves cncapsalating core m-boarcl services rcqLtircd of any spacccrdfi (pointing, command handling, tclemc[ry sloragc, cIc.) and simulating a flight-like crlvironmcat, Silualalitlg Ihc motion of a spacecraft or the output of a camera in real-tilnc is a substantial task. OLIr appmacb is to mllcct ancl integrate simulation syslcms that mdcl the in-flight c.nvim)mcnt, (hlr silnalatioa architcc[urc is a layered ball’s-eye, or onion pal[crm tcminisccat of t r a d i t i o n a l unipmccsscw opcra[ing syslcm cksiga [’I’an87]. “1’hc center is the syskm uadcr test. ‘1’hc first Iaycr oat is tbc intcrfacc clrivcr layer. ‘[’his sbadcd layer presents services to the core systcm t h a t w i l l remain coaslaat a s oatcr layer silnolatioas arc replaced with real clcvices. I;or example, ia f:igLlre 1 the core cock tinclcr test might bc a spacecraft a[ti~LldC COlltI’01 SyStCIH, ancl tbc first Iaycr oLIl m i g h t provicie tbc core system with a gyro_ get.. state ( ) fLinctioa that is inilially implemented as a mnotc proccdLIrc cal I (KIT) to a real-time dynamics moclcl sialLllating spacecraft motion. “1’11 is fLlnction might later bc implemented to send a message across a bLls to spacccrafi rate sensors.
منابع مشابه
Supporting Real-Time Asynchronous Communication within Bluetooth Ad Hoc Networks
The Bluetooth protocols have been developed to support wireless transmission within personal area networks; primarily serving as a cable replacement technology for mobile devices. The standard protocol provides support for synchronous transmission of audio and asynchronous transmission of data. In general, the standard was developed to use synchronous connection-oriented (SCO) channels to trans...
متن کاملDecentralized and Cooperative Multi-Sensor Multi-Target Tracking With Asynchronous Bearing Measurements
Bearings only tracking is a challenging issue with many applications in military and commercial areas. In distributed multi-sensor multi-target bearings only tracking, sensors are far from each other, but are exchanging data using telecommunication equipment. In addition to the general benefits of distributed systems, this tracking system has another important advantage: if the sensors are suff...
متن کاملThe dependence on the initial states and the transitivity of the regular autonomous asynchronous systems
The asynchronous systems are non-deterministic real time, binary valued models of the asynchronous circuits from electronics. Autonomy means that there is no input and regularity means analogies with the (real) dynamical systems. We introduce the concepts of dependence on the initial states and of transitivity for these systems.
متن کاملSynchronous AADL and Its Formal Analysis in Real-Time Maude
Distributed Real-Time Systems (DRTS), such as avionics systems and distributed control systems in motor vehicles, are very hard to design because of asynchronous communication, network delays, and clock skews. Furthermore, their model checking typically becomes unfeasible due to the large state spaces caused by the interleavings. For many DRTSs, we can use the PALS methodology to reduce the pro...
متن کاملUniversal regular autonomous asynchronous systems: omega-limit sets, invariance and basins of attraction
The asynchronous systems are the non-deterministic real timebinary models of the asynchronous circuits from electrical engineering. Autonomy means that the circuits and their models have no input. Regularity means analogies with the dynamical systems, thus such systems may be considered to be the real time dynamical systems with a ’vector field’ Φ : {0, 1}n → {0, 1}n. Universality refers to the...
متن کاملAsynchronous Mode of FDDI for Real-Time Multimedia Communication - Parallel and Distributed Real-Time Systems, 1996., Proceedings of the 4th International Workshop o
FDDI network is a network that can provide real-time message delivery, It supports two classes of messages: synchronous class and asynchronous class. Guaranteeing deadlines of real-time messages with FDDI synchronous mode has been studied extensively. However, most existing FDDI products support asynchronous message transmission only. In this paper, we develop an analytic method for guaranteein...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997